1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
Author: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
2297
2. Algorithmic problem solving /
Author: Roland Backhouse.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Problem solving.,Computer algorithms.,Computer Science.,Engineering & Applied Sciences.,Problem solving.
Classification :
QA76
.
9
.
A43
B34
2011
3. Construction et verification de programmes
Author: / Roland C. Backhouse
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer programes
Classification :
QA
76
.
6
.
B3C6
4. Construction et verification de programmes
Author: BACKHOUSE,ROLAND C
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
Classification :
QA
76
.
7
.
B22
1989
5. Generic programmin
Author: / Roland Backhouse, Jeremy Gibbons, eds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Generic programming (Computer science)
Classification :
QA
,
76
.
6245
,.
G46
,
2003
6. Generic programming : advanced lectures
Author: Roland Backhouse, Jeremy Gibbons )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Generic programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
2793
7. Mathematics of program construction
Author: / Roland Backhouse, Josae Nuno Oliveira (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
76
.
6
,.
I5535
,
2000
8. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Author: Roland Backhouse, Jose Nuno Oliveira )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
1837
9. Program construction and verification
Author: Backhouse, Roland C.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers
Classification :
QA
76
.
7
.
B28
1986
10. Program construction and verification
پدیدآورنده : Roland C. Backhouse
موضوع : Computer programs,Computer programs- Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Program construction and verification
Author: Backhouse, Roland C
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Electronic digital computers -- Programming
Classification :
QA
76
.
7
.
B28
1986
12. Syntax of programming languages: theory and practice
Author: Backhouse, Roland C.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Syntax ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
B3
